大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

Intelligent Computer Mathematics [electronic resource] : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings

0
索取号：
作者：Davenport、 James H.、Farmer、 William M.、Urban、 Josef.、Rabe、 Florian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Nonlinear PDEs [electronic resource] : Mathematical Models in Biology, Chemistry and Population Genetics

0
索取号：
作者：Ghergu、 Marius.、R討dulescu、 Vicen牛iu D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Agent-Oriented Software Engineering XI [electronic resource] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers

0
索取号：
作者：Weyns、 Danny.、Gleizes、 Marie-Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Smart Graphics [electronic resource] : 11th International Symposium, SG 2011, Bremen, Germany, July 18-20, 2011. Proceedings

0
索取号：
作者：Dickmann、 Lutz.、Volkmann、 Gerald.、Malaka、 Rainer.、Boll、 Susanne.、Kr眉ger、 Antonio.、Olivier、 Patrick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Rule-Based Reasoning, Programming, and Applications [electronic resource] : 5th International Symposium, RuleML 2011 鈥ŵrope, Barcelona, Spain, July 19-21, 2011. Proceedings

0
索取号：
作者：Bassiliades、 Nick.、Governatori、 Guido.、Paschke、 Adrian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering Techniques [electronic resource] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers

0
索取号：
作者：Huzar、 Zbigniew.、Koci、 Radek.、Meyer、 Bertrand.、Walter、 Bartosz.、Zendulka、 Jaroslav.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

0
索取号：
作者：Groce、 Alex.、Musuvathi、 Madanlal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logic, Language, and Computation [electronic resource] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers

0
索取号：
作者：Bezhanishvili、 Nick.、L枚bner、 Sebastian.、Schwabe、 Kerstin.、Spada、 Luca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Algorithms and Data Structures [electronic resource] : 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011. Proceedings

0
索取号：
作者：Dehne、 Frank.、Iacono、 John.、Sack、 J枚rg-R眉diger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2011 [electronic resource]

0
索取号：
作者：Lee、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Environmental Software Systems. Frameworks of eEnvironment [electronic resource] : 9th IFIP WG 5.11 International Symposium, ISESS 2011, Brno, Czech Republic, June 27-29, 2011. Proceedings

0
索取号：
作者：H艡eb铆膷ek、 Ji艡铆.、Schimak、 Gerald.、Denzer、 Ralf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Privacy Enhancing Technologies [electronic resource] : 11th International Symposium, PETS 2011, Waterloo, ON, Canada, July 27-29, 2011. Proceedings

0
索取号：
作者：Fischer-H眉bner、 Simone.、Hopper、 Nicholas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Systems, Software and Service Process Improvement [electronic resource] : 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings

0
索取号：
作者：O鈥楥onnor、 Rory V.、Pries-Heje、 Jan.、Messnarz、 Richard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III

0
索取号：
作者：Zain、 Jasni Mohamad.、Wan Mohd、 Wan Maseri bt.、El-Qawasmeh、 Eyas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II

0
索取号：
作者：Zain、 Jasni Mohamad.、Wan Mohd、 Wan Maseri bt.、El-Qawasmeh、 Eyas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I

0
索取号：
作者：Mohamad Zain、 Jasni.、Wan Mohd、 Wan Maseri bt.、El-Qawasmeh、 Eyas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.